📐 Quotient Types - abnv · Scour

When You Run Out of Types... 🌈Gradual Languages

buttondown.com·5d·

Rust's next-generation trait solver 🦀Rust Macros

lwn.net·2d·Lobsters, Hacker News, r/programming·

Knowledge Governance For The Agentic Economy. ♾️Codata Types

padisovereignbureau.substack.com·20h·DEV·

Linear types proposal for Hare 📏Linear Types

yerinalexey.srht.site·17h·Lobsters, Hacker News·

Combinators 🧮Combinator Calculus

tinyapl.rubenverg.com·1d·Hacker News·

proposal: element-wise type constraints for composite values · Issue #78433 🗂️Type Indexing

github.com·5d·r/golang·

Show HN: Connecting Duhem's Law of Cognitive Complementarity to Metrology ⚖️Inference Rules

lll.scrybble.ink·8h·Hacker News·

The Reamorment Monograph: Four-Torus, Decordment, and the Topology of Return 🔗Category Theory

beyondturbulence.blogspot.com·2d·

Red-black tree in Lean 4 prover with everything proved 🧮Theorem Provers

rentry.co·21h·Lobsters·

Abstract Semantic Graph 🌳Expression Trees

en.wikipedia.org·1d·Hacker News·

Formally verifying digital circuits with category theory in Lean 🔗Category Theory

matt.hunzinger.me·5d·r/programming·

The Tetrad ♾️Codata Types

samirvarma.substack.com·2d·Substack·

Quadratic Micropass Type Inference 🔍Type Inference

articles.luminalang.com·6d·Hacker News·

Linkage 🤐Zipper Structures

11011110.github.io·1d·

Girls are Bayesian, Boys are Axiomatic ✨Effect Inference

peteribanks.substack.com

·1d·Substack·

Mar '26 Notes 🔗Category Theory

susam.net·3d·

Propositional Alignment 🔗Concatenative Theory

lesswrong.com·2d·

Show HN: PyNear – exact and approximate KNN, faster than Faiss 📋JSON Parsing

news.ycombinator.com·3d·Hacker News·

Universal Category System 🔗Category Theory

universalcategorysystem.com·2d·Hacker News·

mlajtos/es1995: ES1995 – The Missing JS Polyfill 🌈Gradual Languages

github.com·9h·r/javascript·

Loading more...